Optimal. Leaf size=71 \[ \frac {A b^2 x^{5+m}}{5+m}+\frac {b (b B+2 A c) x^{7+m}}{7+m}+\frac {c (2 b B+A c) x^{9+m}}{9+m}+\frac {B c^2 x^{11+m}}{11+m} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.04, antiderivative size = 71, normalized size of antiderivative = 1.00, number of steps
used = 3, number of rules used = 2, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.083, Rules used = {1598, 459}
\begin {gather*} \frac {A b^2 x^{m+5}}{m+5}+\frac {b x^{m+7} (2 A c+b B)}{m+7}+\frac {c x^{m+9} (A c+2 b B)}{m+9}+\frac {B c^2 x^{m+11}}{m+11} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 459
Rule 1598
Rubi steps
\begin {align*} \int x^m \left (A+B x^2\right ) \left (b x^2+c x^4\right )^2 \, dx &=\int x^{4+m} \left (A+B x^2\right ) \left (b+c x^2\right )^2 \, dx\\ &=\int \left (A b^2 x^{4+m}+b (b B+2 A c) x^{6+m}+c (2 b B+A c) x^{8+m}+B c^2 x^{10+m}\right ) \, dx\\ &=\frac {A b^2 x^{5+m}}{5+m}+\frac {b (b B+2 A c) x^{7+m}}{7+m}+\frac {c (2 b B+A c) x^{9+m}}{9+m}+\frac {B c^2 x^{11+m}}{11+m}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.07, size = 66, normalized size = 0.93 \begin {gather*} x^{5+m} \left (\frac {A b^2}{5+m}+\frac {b (b B+2 A c) x^2}{7+m}+\frac {c (2 b B+A c) x^4}{9+m}+\frac {B c^2 x^6}{11+m}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(261\) vs.
\(2(71)=142\).
time = 0.36, size = 262, normalized size = 3.69
method | result | size |
gosper | \(\frac {x^{5+m} \left (B \,c^{2} m^{3} x^{6}+21 B \,c^{2} m^{2} x^{6}+A \,c^{2} m^{3} x^{4}+2 B b c \,m^{3} x^{4}+143 m \,x^{6} B \,c^{2}+23 A \,c^{2} m^{2} x^{4}+46 B b c \,m^{2} x^{4}+315 B \,c^{2} x^{6}+2 A b c \,m^{3} x^{2}+167 A \,c^{2} m \,x^{4}+B \,b^{2} m^{3} x^{2}+334 B b c m \,x^{4}+50 A b c \,m^{2} x^{2}+385 A \,c^{2} x^{4}+25 B \,b^{2} m^{2} x^{2}+770 x^{4} b B c +A \,b^{2} m^{3}+398 A b c m \,x^{2}+199 B \,b^{2} m \,x^{2}+27 A \,b^{2} m^{2}+990 A b c \,x^{2}+495 b^{2} B \,x^{2}+239 A \,b^{2} m +693 b^{2} A \right )}{\left (11+m \right ) \left (9+m \right ) \left (7+m \right ) \left (5+m \right )}\) | \(262\) |
risch | \(\frac {x^{m} \left (B \,c^{2} m^{3} x^{6}+21 B \,c^{2} m^{2} x^{6}+A \,c^{2} m^{3} x^{4}+2 B b c \,m^{3} x^{4}+143 m \,x^{6} B \,c^{2}+23 A \,c^{2} m^{2} x^{4}+46 B b c \,m^{2} x^{4}+315 B \,c^{2} x^{6}+2 A b c \,m^{3} x^{2}+167 A \,c^{2} m \,x^{4}+B \,b^{2} m^{3} x^{2}+334 B b c m \,x^{4}+50 A b c \,m^{2} x^{2}+385 A \,c^{2} x^{4}+25 B \,b^{2} m^{2} x^{2}+770 x^{4} b B c +A \,b^{2} m^{3}+398 A b c m \,x^{2}+199 B \,b^{2} m \,x^{2}+27 A \,b^{2} m^{2}+990 A b c \,x^{2}+495 b^{2} B \,x^{2}+239 A \,b^{2} m +693 b^{2} A \right ) x^{5}}{\left (11+m \right ) \left (9+m \right ) \left (7+m \right ) \left (5+m \right )}\) | \(263\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.28, size = 91, normalized size = 1.28 \begin {gather*} \frac {B c^{2} x^{m + 11}}{m + 11} + \frac {2 \, B b c x^{m + 9}}{m + 9} + \frac {A c^{2} x^{m + 9}}{m + 9} + \frac {B b^{2} x^{m + 7}}{m + 7} + \frac {2 \, A b c x^{m + 7}}{m + 7} + \frac {A b^{2} x^{m + 5}}{m + 5} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 217 vs.
\(2 (71) = 142\).
time = 1.90, size = 217, normalized size = 3.06 \begin {gather*} \frac {{\left ({\left (B c^{2} m^{3} + 21 \, B c^{2} m^{2} + 143 \, B c^{2} m + 315 \, B c^{2}\right )} x^{11} + {\left ({\left (2 \, B b c + A c^{2}\right )} m^{3} + 770 \, B b c + 385 \, A c^{2} + 23 \, {\left (2 \, B b c + A c^{2}\right )} m^{2} + 167 \, {\left (2 \, B b c + A c^{2}\right )} m\right )} x^{9} + {\left ({\left (B b^{2} + 2 \, A b c\right )} m^{3} + 495 \, B b^{2} + 990 \, A b c + 25 \, {\left (B b^{2} + 2 \, A b c\right )} m^{2} + 199 \, {\left (B b^{2} + 2 \, A b c\right )} m\right )} x^{7} + {\left (A b^{2} m^{3} + 27 \, A b^{2} m^{2} + 239 \, A b^{2} m + 693 \, A b^{2}\right )} x^{5}\right )} x^{m}}{m^{4} + 32 \, m^{3} + 374 \, m^{2} + 1888 \, m + 3465} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 1051 vs.
\(2 (63) = 126\).
time = 0.62, size = 1051, normalized size = 14.80 \begin {gather*} \begin {cases} - \frac {A b^{2}}{6 x^{6}} - \frac {A b c}{2 x^{4}} - \frac {A c^{2}}{2 x^{2}} - \frac {B b^{2}}{4 x^{4}} - \frac {B b c}{x^{2}} + B c^{2} \log {\left (x \right )} & \text {for}\: m = -11 \\- \frac {A b^{2}}{4 x^{4}} - \frac {A b c}{x^{2}} + A c^{2} \log {\left (x \right )} - \frac {B b^{2}}{2 x^{2}} + 2 B b c \log {\left (x \right )} + \frac {B c^{2} x^{2}}{2} & \text {for}\: m = -9 \\- \frac {A b^{2}}{2 x^{2}} + 2 A b c \log {\left (x \right )} + \frac {A c^{2} x^{2}}{2} + B b^{2} \log {\left (x \right )} + B b c x^{2} + \frac {B c^{2} x^{4}}{4} & \text {for}\: m = -7 \\A b^{2} \log {\left (x \right )} + A b c x^{2} + \frac {A c^{2} x^{4}}{4} + \frac {B b^{2} x^{2}}{2} + \frac {B b c x^{4}}{2} + \frac {B c^{2} x^{6}}{6} & \text {for}\: m = -5 \\\frac {A b^{2} m^{3} x^{5} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {27 A b^{2} m^{2} x^{5} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {239 A b^{2} m x^{5} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {693 A b^{2} x^{5} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {2 A b c m^{3} x^{7} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {50 A b c m^{2} x^{7} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {398 A b c m x^{7} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {990 A b c x^{7} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {A c^{2} m^{3} x^{9} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {23 A c^{2} m^{2} x^{9} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {167 A c^{2} m x^{9} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {385 A c^{2} x^{9} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {B b^{2} m^{3} x^{7} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {25 B b^{2} m^{2} x^{7} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {199 B b^{2} m x^{7} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {495 B b^{2} x^{7} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {2 B b c m^{3} x^{9} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {46 B b c m^{2} x^{9} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {334 B b c m x^{9} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {770 B b c x^{9} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {B c^{2} m^{3} x^{11} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {21 B c^{2} m^{2} x^{11} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {143 B c^{2} m x^{11} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} + \frac {315 B c^{2} x^{11} x^{m}}{m^{4} + 32 m^{3} + 374 m^{2} + 1888 m + 3465} & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 340 vs.
\(2 (71) = 142\).
time = 1.34, size = 340, normalized size = 4.79 \begin {gather*} \frac {B c^{2} m^{3} x^{11} x^{m} + 21 \, B c^{2} m^{2} x^{11} x^{m} + 2 \, B b c m^{3} x^{9} x^{m} + A c^{2} m^{3} x^{9} x^{m} + 143 \, B c^{2} m x^{11} x^{m} + 46 \, B b c m^{2} x^{9} x^{m} + 23 \, A c^{2} m^{2} x^{9} x^{m} + 315 \, B c^{2} x^{11} x^{m} + B b^{2} m^{3} x^{7} x^{m} + 2 \, A b c m^{3} x^{7} x^{m} + 334 \, B b c m x^{9} x^{m} + 167 \, A c^{2} m x^{9} x^{m} + 25 \, B b^{2} m^{2} x^{7} x^{m} + 50 \, A b c m^{2} x^{7} x^{m} + 770 \, B b c x^{9} x^{m} + 385 \, A c^{2} x^{9} x^{m} + A b^{2} m^{3} x^{5} x^{m} + 199 \, B b^{2} m x^{7} x^{m} + 398 \, A b c m x^{7} x^{m} + 27 \, A b^{2} m^{2} x^{5} x^{m} + 495 \, B b^{2} x^{7} x^{m} + 990 \, A b c x^{7} x^{m} + 239 \, A b^{2} m x^{5} x^{m} + 693 \, A b^{2} x^{5} x^{m}}{m^{4} + 32 \, m^{3} + 374 \, m^{2} + 1888 \, m + 3465} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.34, size = 179, normalized size = 2.52 \begin {gather*} x^m\,\left (\frac {A\,b^2\,x^5\,\left (m^3+27\,m^2+239\,m+693\right )}{m^4+32\,m^3+374\,m^2+1888\,m+3465}+\frac {B\,c^2\,x^{11}\,\left (m^3+21\,m^2+143\,m+315\right )}{m^4+32\,m^3+374\,m^2+1888\,m+3465}+\frac {b\,x^7\,\left (2\,A\,c+B\,b\right )\,\left (m^3+25\,m^2+199\,m+495\right )}{m^4+32\,m^3+374\,m^2+1888\,m+3465}+\frac {c\,x^9\,\left (A\,c+2\,B\,b\right )\,\left (m^3+23\,m^2+167\,m+385\right )}{m^4+32\,m^3+374\,m^2+1888\,m+3465}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________